Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, and Sequence-based Specification Methods
نویسنده
چکیده
The effectiveness of rigorous specification methods such as sequence-based specification is often limited by the specification team's ability to understand the system requirements. Viewpoints and use-case methods address this issue by supporting requirements elicitation and informal description of system requirements and interfaces. However the system requirements developed using these methods are often expressed in (possibly structured) natural language. It can be difficult to reconcile multiple viewpoints and to translate the collection of graphical and text descriptions of use cases into rigorous specifications sufficient to support system development. This paper provides some process recommendations for integrating viewpoints, use-case, and sequence-based specification methods to yield a precise, readable tabular description of system behavior, validated for all known stakeholder viewpoints and uses.
منابع مشابه
From converter characteristics to built-in self-test proposals
Converter testing is a complex process. Test specifications are application dependent and in most cases require sophisticated stimulus generation and, response analysis equipment. The processing of sampled data to generate specification measurements also requires complex DSP algorithms. Furthermore, test complexity increases with speed, resolution and technology advances. This chapter summaries...
متن کاملRigorous Development of Functional Programs using Temporal Logic
In this paper, we propose a new method, based on the use of temporal logic, for developing and reasoning about functional programs. Our software development method is rigorous and systematic: starting with a list of informal requirement descriptions, we initially derive a set of object-based specifications, which are later on transformed into modular monadic functional programs. The obtained sp...
متن کاملVerifying a Vci Bus Interface Model Using an Lsc-based Specification
Because of the high stakes involved in integrating externally developed intellectual property (IP) cores used in System on Chip (SOC) designs, methods and tool support for quick, easy, decisive standard compliance verification must be developed. Such methods and tools include formal standard specifications that are easy to read, formal definitions of standard compliance and automatic generation...
متن کاملConflict-Tolerant Specifications for Hybrid Systems
We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a “conflict-tolerant” specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict...
متن کاملAutomated generation of high-integrity test suites from graphical specifications
There is a strong need to ensure that the software controlling safety–critical systems is of the highest possible integrity. Present approaches to achieving this integrity through Verification and Validation (V&V) are expensive and predominantly reliant on manual processes. Techniques that have been proposed to improve the V&V of safety–critical systems – formal methods, graphical specification...
متن کامل